Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
281	HIGH-TECH By Mark Nissen, Operations Manager, and Sergey Uchaikin, Senior Scientist, Add to Reading List Source URL: resource.ansys.com Language: English - Date: 2016-06-14 14:42:27 Theoretical computer science Physics Quantum mechanics Quantum information science Quantum computing Emerging technologies Ansys D-Wave Systems Electromagnetic shielding Multiphysics Quantum annealing Magnetic field
282	© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new Add to Reading List Source URL: www.eeh.ee.ethz.ch Language: English - Date: 2015-11-23 08:56:12 Operations research Theoretical computer science Algorithm Mathematical logic Mathematical optimization Mathematics Applied mathematics Markov models Philosophy of mathematics
283	Towards Characterizing the Non-Locality of Entangled Quantum States Renato Renner∗ and Stefan Wolf† November 30, 2007 Abstract Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-11-05 03:42:50 Quantum mechanics Quantum information science Theoretical computer science Physics Quantum information theory Quantum computing Quantum information Qubit Quantum refereed game
284	Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-01 20:00:33 Theoretical computer science PP Quantum complexity theory Boolean algebra Mathematics Numerical software Logic in computer science Bayesian network PROPT
285	Quantum cryptography with pseudorandom bases and the problem of quantum state discrimina8on P.A. Tregubov and A.S. Trushechkin Add to Reading List Source URL: ctcrypt.ru Language: English - Date: 2016-06-10 06:35:53 Quantum cryptography Cryptography Quantum information science Theoretical computer science Physics Quantum key distribution BB84 Photon Quantum network
286	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
287	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea
288	Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies Sebastian J. I. Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay, and D´aniel Varr´o seb Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:14:57 Operations research Numerical software Artificial intelligence Mathematical optimization Solver Business process management Frame language Software Information technology Theoretical computer science
289	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Software engineering Computer programming Computing Subroutines Electronic design automation Compiler construction Programming language implementation Theoretical computer science High-level synthesis Recursion Compiler Inline expansion
290	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system

UPDATE